Understanding eventual consistency Alexey Gotsman IMDEA Software Institute, Madrid, Spain Joint work with Sebastian Burckhardt (MSR)

Source URL: www.resourcereasoning.com

• Computing
• Engineering
• Systems science
• Fault tolerance
• RAID
• Reliability engineering
• Software
• Systems engineering
• Consistency model

May 21, Spring 2008 Final Exam Solutions Introduction to Algorithms Massachusetts Institute of Technology

Source URL: courses.csail.mit.edu

• Computer programming
• Software engineering
• Graph theory
• Binary trees
• Recursion
• Knowledge representation
• Theoretical computer science
• Tree traversal
• B-tree
• Tree
• Self-balancing binary search tree
• Topological sorting

Introducing PyLighter: Dynamic Code Highlighter Michael G. Boland and Curtis Clifton Department of Computer Science and Software Engineering Rose-Hulman Institute of Technology 5500 Wabash Ave.

Source URL: curtclifton.net

Extracting Software Product Lines: A Case Study Using Conditional Compilation Marcus Vinicius Couto Institute of Informatics, PUC Minas Belo Horizonte, Brazil

Source URL: argouml-spl.tigris.org

• Aspect-oriented software development
• ArgoUML
• Software metrics
• Feature-oriented programming
• Feature model
• UML tool
• STING
• Product family engineering
• Preprocessor
• Source lines of code
• Aspect-oriented programming
• SPL

School of Computer Science Institute for Software ResearchMaster of Science in Information Technology Privacy Engineering Program

Source URL: privacy.cs.cmu.edu

The SeaHorn Verification Framework (Invited Talk) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University USA

Source URL: refal.botik.ru

• Software testing
• Formal methods
• Software verification
• Logic in computer science

Optimal Personalized Filtering Against Spear-Phishing Attacks Aron Laszka and Yevgeniy Vorobeychik and Xenofon Koutsoukos Institute for Software Integrated Systems Department of Electrical Engineering and Computer Scienc

Source URL: aronlaszka.com

HUMAN-ROBOT INTERACTION BASED ON SPOKEN NATURAL LANGUAGE DIALOGUE Dimitris Spiliotopoulos, Ion Androutsopoulos and Constantine D. Spyropoulos Software and Knowledge Engineering Laboratory Institute of Informatics and Tel

Source URL: www.aueb.gr

Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Source URL: homes.cs.washington.edu

• Software engineering
• Type theory
• Programming language theory
• Computing
• Subtyping
• Type system
• System F
• HindleyMilner type system
• ML
• Type inference
• Typeof
• Is-a